|
|
|
Technical Program
Conference Description
CC
is a member conference of the European Joint Conferences on Theory and
Practice of Software (ETAPS), which is the primary European forum for
academic and industrial researchers working on topics relating to
Software Science. ETAPS 2010 is the 13th joint conference in this series.
The prior conferences have been ETAPS 1998 in Lisbon, ETAPS 1999 in Amsterdam, ETAPS 2000 in Berlin, ETAPS 2001 in Genova, ETAPS 2002 in Grenoble, ETAPS 2003 in Warsaw, ETAPS 2004 in Barcelona, ETAPS 2005 in Edinburgh, ETAPS 2006 in Vienna, ETAPS 2007 in Braga, ETAPS 2008 in Budapest, and ETAPS 2009 in York, UK.
Call for Papers
CC is interested in work on processing programs in the most general sense:
analyzing, transforming or executing input that describes how a system operates,
including traditional compiler construction as a special case.
Topics of interest include, but are not limited to:
- compilation and interpretation techniques, including program representation
and analysis, code generation and code optimization;
- run-time techniques, including memory management and dynamic and
just-in-time compilation;
- programming tools, from refactoring editors to checkers to compilers to
virtual machines to debuggers;
- techniques for specific domains, such as secure, parallel, distributed,
embedded or mobile environments;
- design of novel language constructs and their implementation.
Accepted paper will appear in the proceedings and have presentations during
the
conference. A condition of submission is that, if the submission is accepted,
one of the authors attends the conference to give the presentation. Submitted
papers must be in English presenting original research. They must be unpublished
and not submitted for publication elsewhere. In particular, simultaneous submission
of the same contribution to multiple ETAPS conferences is forbidden.
Submission Guidelines
Papers should be submitted electronically in PDF format. The proceedings will be
published in the Springer-Verlag Lecture Notes in Computer Science series.
Final papers will be in the format specified by Springer-Verlag at the
URL: http://www.springer.de/comp/lncs/authors.html
Contributions must be in PDF in the Springer LNCS style.
The submissions must adhere to the strict page limit of 20 pages.
Submissions that are clearly too long may be rejected immediately.
Proofs omitted due to space limitations may be included in a clearly
marked appendix. All accepted papers will appear in the proceedings,
both electronic and hard-copy.
Papers can be sumitted via the following
submission page.
Important Dates
Submission deadlines are strict (site will close at 23:59 Samoan time).
Submission of an abstract implies no obligation
to submit a full version; abstracts with no corresponding full versions by the
full paper deadline will be considered as withdrawn.
Invited Speaker
James Larus, Microsoft Research
Programme Committee Chair
Programme Committee
-
Michael O'Boyle, University of Edinburgh, UK
-
Jack Davidson, University of Virginia, USA
-
Paul Feautrier, ENS de Lyon, France
-
Guang Gao, University of Delaware, USA
-
Antonio Gonzalez, Intel and UPC, Spain
-
Rajiv Gupta, University of California, Riverside, USA (Chair)
-
Laurie Hendren, McGill University, Canada
-
Robert Hundt, Google, CA, USA
-
Suresh Jagannathan, Purdue University, USA
-
Chandra Krintz, University of California, Santa Barbara, USA
-
Julia Lawall, DIKU, Denmark
-
Madan Musuvathi, Microsoft Research, USA
-
Yunheung Paek, Seoul National University, Korea
-
Santosh Pande, Georgia Tech, USA
-
Vivek Sarkar, Rice University, USA
-
Bernhard Scholz, University of Sydney, Australia
-
Bjorn De Sutter, Ghent University, Belgium
-
Andreas Zeller, Saarland University, Germany
-
Christoph von Praun, Ohm University of Applied Sciences, Germany
|
